<p>
     Implement a quantized matrix multiplication program for 8-bit signed integer matrices. Given two input matrices <code>A</code> of dimensions \(M \times K\) and <code>B</code> of dimensions \(K \times N\), quantization scales <code>scale_A</code>, <code>scale_B</code>, output scale <code>scale_C</code>, zero-points <code>zero_point_A</code>, <code>zero_point_B</code>, <code>zero_point_C</code>, compute:
     \[
     C_{\text{quant}}(i, j) = \mathrm{clamp}\left(     
         \mathrm{round}\left(
             \frac{
                 \sum_{k=0}^{K-1} (A_{ik} - z_A)(B_{kj} - z_B) \cdot s_A s_B
             }{s_C}
         \right) + z_C,\ -128,\ 127
     \right)
     \]
     where <code>s_A = scale_A</code>, <code>z_A = zero_point_A</code>, etc.
     </p>
     
     <h2>Implementation Requirements</h2>
     <ul>
     <li>External libraries are not permitted</li>
     <li>The <code>solve</code> function signature must remain unchanged</li>
     <li>The final result must be stored in the output matrix <code>C</code> as <code>int8</code></li>
     <li>After accumulation in int32 and scaling in float32, values must be rounded to the nearest integer, shifted by <code>zero_point_C</code>, and clamped to the <code>[-128, 127]</code> range</li>
     </ul>
     
     <h2>Example 1:</h2>
     <pre>
     Input:
     A = [[1, 2],
          [3, 4]]
     B = [[5, 6],
          [7, 8]]
     M = 2, N = 2, K = 2
     scale_A = 0.1, scale_B = 0.2, scale_C = 0.05
     zero_point_A = 0, zero_point_B = 0, zero_point_C = 0
     
     Output:
     C = [[19, 22],
          [43, 50]]
     </pre>
     
     <h2>Example 2:</h2>
     <pre>
     Input:
     A = [[1, 2]]
     B = [[3],
          [4]]
     M = 1, N = 1, K = 2
     scale_A = 1.0, scale_B = 1.0, scale_C = 1.0
     zero_point_A = 1, zero_point_B = 3, zero_point_C = 5
     
     Output:
     C = [[6]]
     </pre>
     
     <h2>Constraints</h2>
     <ul>
     <li>1 ≤ <code>M</code>, <code>N</code>, <code>K</code> ≤ 4096</li>
     <li><code>scale_A</code>, <code>scale_B</code>, <code>scale_C</code> are positive floats</li>
     <li><code>-128</code> ≤ <code>zero_point_A</code>, <code>zero_point_B</code>, <code>zero_point_C</code> ≤ <code>127</code></li>
     </ul> 